جملات موری جملاتی مانند "p اما من باور ندارم که p" یا "p اما من باور دارم که چنین نیست که p" هستند، که علی رغم ممکن الصدق بودن محتوای آنها اظهار یا باور به آنها با نوعی پوچی همراه است. ادعا می شود این جملات تنها در صورتی که در قالب زمان حال اظهار یا باور شوند پوچ خواهند بود و در صورتی که آن ها در قالب زمان گذشته یا آینده اظهار شوند اظهارشان پوچ نخواهد بود. ما در این مقاله می کوشیم به تحلیل صورت های زمانی مختلف جملات موری در زمان های گذشته، حال و آینده بپردازیم. برای این منظور از منطقی استفاده می کنیم که ترکیبی از منطق های زمان و باور است. سپس با صورت بندی جملات موری در زمان های مختلف نشان می دهیم که بر خلاف ادعای مرسوم صورت های گذشته و آینده این جملات لزوما پوچ نخواهند بود. در نهایت به معرفی شرایط لازم و کافی پوچی جملات موری در زمان های گذشته، حال و آینده می پردازیم.

با ترکیب منطق های زمانی و منطق فازی می توان منطق های جدیدی ایجاد و از آن در وارسی خودکار مدل های پویای فازی استفاده نمود. تاکنون در چند مقاله مدل های کریپکه فازی FzKripke و گراف برنامه فازی FzPG به عنوان دو مدل زمانی فازی تعریف و جهت وارسی خواص زمانی روی این مدل ها، منطق زمانی FzCTL ارائه شده و بدون ارائه الگوریتم وارسی مدل، کاربردهایی از آنها در وارسی مدارات منطقی فازی مانند فلیپ- فلاپ های فازی معرفی شده است. در این مقاله جهت برخورد با مشکل انفجار فضای حالت در مدل های زمانی فازی، روشی نمادین ارائه شده که به کمک آن، مدل ها در قالبی بسیار فشرده ذخیره و پردازش می شوند. در این مقاله کارایی الگوریتم های طراحی شده نیز مورد ارزیابی تحلیلی و تجربی قرار می گیرند. به عنوان مطالعه موردی، کارایی روش در وارسی و کشف مخاطره پویای یک مدار فلیپ- فلاپ D فازی، مورد بررسی قرار گرفته و زمان اجرا و حافظه مصرفی الگوریتم در شرایط مختلف مدل، ارائه شده است.

اگر به دسته بندی بی نظیر گزاره موجهه خونجی در کتاب کشف الاسرار، مراجعه کنیم با مجموعه ای 34 عضوی مواجه خواهیم شد. 15 گزاره از این مجموعه توسط منطق دانان پیش از خونجی بیان شده، اما 19 گزاره دیگر را او افزوده است. پیگیری چگونگی صورت بندی این گزاره ها توسط خونجی این گونه می نماید که وی در صورت بندی خود 2 گزاره را از قلم انداخته و 32 گزاره دیگر را که به دو دسته اصلی (دارای 13 عضو) و فرعی (دارای 19 عضو) دسته بندی می شوند، صورت بندی کرده است. در بخش نخست این مقاله، به شرح و توضیح این گزاره ها پرداخته شده است.منطق دانان جدید پس از مواجهه با گزاره موجهه، سعی کردند جهت گزاره را به صورت نمادین نمایش دهند. از جمله تلاش های صورت گرفته در این راستا، مساعی نیکولاس رشر است. اینکه می گوییم «تقریبا موفق بوده» به دلیل وجود کاستی هایی است که در این صورت بندی و دیگر صورت بندی ها وجود دارد، زیرا در گزاره موجهه علاوه بر «جهت»، قید دیگری نیز وجود دارد (در این مقاله آن را «قید زمانی» نامیده ایم) که این صورت بندی ها در نمایش آن ناموفق بوده اند. در این مقاله طرحی نو درانداخته و با نظر به اینکه زمان در قیود زمانی متغیر است، پس از تعریف متغیر «t»، صورت بندی ای به مراتب گویاتر از دیگران ارائه کرده ایم.

لطفا برای مشاهده چکیده به متن کامل (pdf) مراجعه فرمایید.

میزان پراکندگی نانوذرات در نانوساختارها، از مهمترین شاخصهایی است که جهت تایید کارآیی روشهای پیشنهادی در زمینه سنتز نانومواد بکار می رود. تصاویر میکروسکوپی الکترونی روبشی نانوذرات دارای اطلاعات ساختاری، شیمیایی و مورفولوژیکی با وضوح بالا در مقیاس نانومتری نانومواد میباشند. در این مقاله، یک الگوریتم جدید جهت طبقه بندی نانوساختارها با استفاده از این تصاویر ارائه شده است. بدین منظور، ابتدا تصاویر میکروسکوپی الکترونی روبشی نانوذرات به سری زمانی تبدیل شده و مشخصات آنها از طریق روشهای آنالیز سری زمانی بررسی گردید. سپس ویژگیهای آماری این سریها استخراج شدند. ویژگی های استخراج شده به عنوان ورودی های یک سیستم استنتاج فازی برای طبقه بندی تصاویر میکروسکوپی نانوساختارها در سه گروه خوب، متوسط و بد در نظر گرفته شدند. این الگوریتم برروی 65 تصویر میکروسکوپی نانوذرات با ابعاد یکسان (250×250 پیکسل) اعمال گردیده و دقتی بالاتر از 90 درصد را به دنبال داشته است که بسیار مناسب است.

کیفیت نیروی انسانی، از جمله عوامل موثر بر تخریب محیط زیست می باشد. برپایه بررسی های انجام شده، آلودگی هوا تحت تاثیر مقادیر دوره قبل از خود است و برای بررسی آن، باید از مدل پویا استفاده شود. بر این اساس در مطالعه حاضر، با استفاده از روش GMM در سری های زمانی، اثر سرمایه انسانی بر آلودگی هوای ایران را طی دوره زمانی 1398-1360 مورد ارزیابی قرار می گیرد. سرمایه انسانی، متغیری پنهان در اقتصاد بوده و معمولا پراکسی های جایگزین به جای آن استفاده می شود. در مقاله حاضر، ابتدا مانند اغلب مطالعات قبلی، مدل تحقیق با استفاده از پراکسی متوسط سال های تحصیل (به عنوان شاخص سرمایه انسانی) تخمین زده شد که نتایج، حاکی از عدم معنی داری آماری و ناسازگاری تیوریک ضرایب برآوردی می باشد. بر اساس مبانی نظری، استدلال می شود که شاخص سرمایه انسانی، علاوه بر جنبه آموزش، تحت تاثیر جنبه های دیگر مانند مهارت و بهداشت نیز قرار دارد. بنابراین در این مقاله، با استفاده از منطق فازی، شاخصی برای سرمایه انسانی در اقتصاد ایران ساخته شده که سه جنبه اصلی (آموزش، مهارت و سلامت) سرمایه انسانی را در نظر بگیرد. نتایج تخمین مدل آلودگی هوا با استفاده از شاخص برآوردی سرمایه انسانی، نشان داد که بهبود سطح سرمایه انسانی، اثر منفی بر آلودگی هوا داشته است. پس با افزایش سرمایه انسانی و بهبود کیفیت نیروی انسانی، می توان انتظار داشت که آلودگی هوا و تخریب محیط زیست کاهش یابد. همچنین شهرنشینی، صنعتی شدن، آزادی تجاری، رشد اقتصادی، آلودگی دوره پیش، اثر مثبت و معناداری بر آلودگی هوا دارند.

لطفا برای مشاهده چکیده به متن کامل (PDF) مراجعه فرمایید.

کیفیت نیروی انسانی از جمله عوامل موثر بر رشد اقتصادی می باشد. روش های سری زمانی کلاسیک توانایی برآورد مدل هایی که شرایط گشتاوری داشته باشند را ندارند و از آنجا که رشد اقتصادی تحت تاثیر مقادیر گذشته خود می باشد، بنابراین به یک مدل پویا نیاز است و بایستی با روش اقتصادسنجی پویا تخمین زده شود. بر این اساس مطالعه حاضر با استفاده از روش GMM در سری های زمانی، اثر سرمایه انسانی بر رشد اقتصادی ایران را طی دوره زمانی 1398-1360 ارزیابی کرده است. سرمایه انسانی متغیری پنهان در اقتصاد بوده و معمولا پراکسی های جایگزین به جای آن استفاده می شود. بر اساس ادبیات اقتصادی، استدلال می شود که شاخص سرمایه انسانی علاوه بر جنبه آموزش تحت تاثیر جنبه های دیگر مانند؛ مهارت و سلامت نیز قرار دارد. بنابراین در این مقاله با استفاده از منطق فازی، شاخصی برای سرمایه انسانی در اقتصاد ایران ساخته شده است، که سه جنبه اصلی (آموزش، مهارت و سلامت) سرمایه انسانی را در نظر می گیرد. نتایج برآورد شاخص نشان می دهد که تشکیل سرمایه انسانی طی سال های مورد بررسی تحقیق رشد چشم گیری داشته است. نتایج تخمین مدل رشد اقتصادی با استفاده از شاخص فازی سرمایه انسانی نشان داد که ارتقاء سطح سرمایه انسانی موجب افزایش رشد اقتصادی می شود. سایر نتایج تحقیق مبین اثرگذاری مثبت متغیرهای؛ مخارج دولت، صنعتی شدن، سرمایه فیزیکی و رشد اقتصادی دوره قبل بر رشد اقتصادی ایران می باشند. همچنین آزادی تجاری و شهرنشینی تاثیر منفی بر رشد اقتصادی ایران دارند.

در مطالعات آب های زیرزمینی، تغییرات سطح ایستابى از اهمیت فراوانی برخوردار است. به همین دلیل، امروزه شبیه سازی جریان آب زیرزمینی توسط مدل های ریاضی و کامپیوتری که یک روش غیرمستقیم مطالعه آب زیرزمینی می ّباشد، با صرف هزینه کمتر صورت می گیرد. پیش بینی سطح آب زیرزمینی یک حوضه نقش مهمی را در مدیریت منابع آبی ایفا می کند. به خصوص در مناطق نیمه خشک آب های زیرزمینی نقش بسیار مهمی در تعیین آب مورد نیاز، کشاورزی، شهری و امور صنعتی دارد. در این تحقیق کارایی مدل های شبکه های عصبی مصنوعی، منطق فازی و سری زمانی در تخمین سطح آب زیرزمینی آبخوان دشت عجب شیر مورد بررسی قرار گرفت. پارامترهای بارندگی، دما، دبی جریان و تراز سطح ایستابی در دوره زمانی ماه قبل به عنوان ورودی و تراز سطح ایستابی در دوره موردنظر به عنوان خروجی مدل ها در مقیاس زمانی ماهانه در طی دوره آماری (1396-1385) انتخاب گردید. معیارهای ضریب همبستگی، ریشه میانگین مربعات خطا و میانگین قدر مطلق خطا برای ارزیابی و نیز مقایسه عملکرد مدل ها مورد استفاده قرار گرفت. نتایج حاصله نشان داد که مدل منطق فازی می تواند تراز سطح ایستابی را با دقت قابل قبولی پیش بینی نماید. توابع عضویت استفاده شده برای مدل سازی فازی سطح ایستابی، تابع عضویت گوسی بود که به داده های دسته بندی شده برازش داده شد و نیز تابع عضویت خروجی مدل ساگنو تابعی است خطی که بر اساس ورودی ها ساخته می شود. در مورد دقت، مدل منطق فازی با بیشترین با ضریب همبستگی، کمترین ریشه میانگین مربعات خطا و میانگین قدر مطلق خطا به عنوان بهترین مدل برای پیش بینی سطح آب زیرزمینی شناخته شد.

زمینه و هدف: علی رغم بهبود پیامدهای کوتاه مدت پیوند در دو دهه اخیر، پیامدهای طولانی مدت، بهبود چندانی نداشته است. اختلال عملکرد مزمن کلیه پیوندی، از شایع ترین علل از دست رفتن کلیه است. در این مقاله، الگو، زمان انتظار و نرخ گذر از مراحل میانی، در بیماران اختلال عملکرد مزمن کلیه پیوندی بررسی می شود که در پیش بینی نتیجه پیوند نقش مهمی دارد.روش بررسی: در یک مطالعه تک مرکزی گذشته نگر، 214 بیمار با اختلال عملکرد مزمن کلیه پیوندی، مراجعه کننده طی سال های 1376 تا 1384 به درمانگاه فوق تخصصی نفرولوژی بیمارستان امام دانشگاه علوم پزشکی ارومیه بررسی گردید. عملکرد کلیه با شاخص GFR ارزیابی و برمبنای راهنمای بالینی NKF و KCOQI در هر ویزیت طبقه بندی گردید. داده ها با روش کاپلان مایر تحلیل بقا آنالیز شد.یافته ها: میزان خام رد کلیه پیوندی با حذف موارد فوت، %26.6 طی متوسط زمانی انتظار 81.7 ماه است. 100 درصد افراد با میانگین زمانی انتظار 26.3 ماه از مرحله یک به دو رفته اند احتمال گذر از دوم به سوم برابر %88.9 با میانگین زمان انتظار 25.5 ماه، گذر از سوم به چهارم برابر %55.7 با میانگین زمان 24.9 ماه و گذر از چهارم به پنجم برابر 53.5 با متوسط زمان 18.2 ماه است. به طور کلی شتاب گذر از رتبه i به j بیمارانی که در زمان شروع فرآیند کاهشی در مرحله سه از GFR قرار دارند، سریع تر از رتبه های دو و یک است.نتیجه گیری: وضعیت بیمار طی سال اول بعد از پیوند از عوامل مهم و تعیین کننده در نرخ گذر از مراحل میانی و رد کلیه پیوندی می باشد. اقدامات درمانی در جهت جلوگیری از تخریب عملکرد در یک سال اول باعث بقا طولانی مدت پیوند می گردد.